-
1 formalized
формализованный completely formalized language ≈ полностью формализованный язык elementary formalized language ≈ элементарный формализованный язык, формализованный язык первого порядка - formalized grammar - formalized language - formalized metalogic - formalized model - formalized realizability - formalized scheme - formalized system - formalized theor ФормализованныйБольшой англо-русский и русско-английский словарь > formalized
-
2 first-order language
Большой англо-русский и русско-английский словарь > first-order language
-
3 elementary formalized language
Универсальный англо-русский словарь > elementary formalized language
-
4 elementary language
Математика: элементарный язык, язык первого порядка -
5 first-order language
Математика: элементарный язык, язык первого порядка -
6 language of first order
Математика: элементарный язык, язык первого порядкаУниверсальный англо-русский словарь > language of first order
-
7 elementary formalized language
элементарный формализованный язык, формализованный язык первого порядкаEnglish-Russian electronics dictionary > elementary formalized language
-
8 elementary formalized language
элементарный формализованный язык, формализованный язык первого порядкаThe New English-Russian Dictionary of Radio-electronics > elementary formalized language
-
9 elementary formalized language
элементарный формализованный язык, формализованный язык первого порядкаEnglish-Russian scientific dictionary > elementary formalized language
-
10 elementary language
мат.элементарный язык, язык первого порядка -
11 first-order language
мат.язык первого порядка, элементарный языкEnglish-Russian scientific dictionary > first-order language
-
12 primary branch
- primary branch
- nответвление первого порядка (магистрального трубопровода, канала)
Англо-русский строительный словарь. — М.: Русский Язык. С.Н.Корчемкина, С.К.Кашкина, С.В.Курбатова. 1995.
Англо-русский словарь строительных терминов > primary branch
-
13 lateral
- lateral
- nбоковой (оросительный) канал, оросительный канал первого порядка; ответвление; отвод
- pipe lateral
- 45° pipe lateral
- service lateral
Англо-русский строительный словарь. — М.: Русский Язык. С.Н.Корчемкина, С.К.Кашкина, С.В.Курбатова. 1995.
* * * -
14 branch
1. n ветка2. n шутл. ребёнок, отпрыск3. n отрасль4. n филиал, отделениеbranch establishment — филиал, отделение
5. n линия, ветвьEnglish is a branch of the Germanic family of languages — английский язык — ветвь германской языковой группы
6. n рукав7. n амер. приток; ручей8. n ответвлениеbranch bus — ответвление от основной шины; местная шина
9. n отрог10. n геол. крыло11. n воен. род войск; служба12. n воен. амер. отдел, отделение13. n воен. амер. полит. властьthe Executive Branch — исполнительная власть; президент и его правительство
14. n воен. тех. отвод; тройник15. v раскидывать ветвиdelayed branch — отсроченное ветвление; отложенная ветвь
16. v разветвляться, расходиться17. v сделать ответвлениеpoetry that branched from Baudelaire — направление в поэзии, вызванное к жизни Бодлером
18. v вышивать узор из цветов, веток, листьевСинонимический ряд:1. department (noun) chapter; department; dialect; member; outpost; part; portion; subdivision2. discipline (noun) discipline; speciality3. division (noun) division; group; organ; section; wing4. limb (noun) appendage; arm; bough; crotch; growth; limb; offshoot; shoot; stick5. run (noun) brook; creek; fork; run6. subsidiary (noun) affiliate; subsidiary7. tributary (noun) confluent; feeder; tributary8. fork (verb) bifurcate; diverge; divide; fork; ramify; separate; subdivideАнтонимический ряд:converge; stock; trunk
См. также в других словарях:
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
ЯЗЫК ТЕЛА — совокупность телесных проявлений (особенностей внешнего облика, движений, мимики и жестов, внутренних ощущений людей), отражающая душевное состояние человека, его мотивы и особенности взаимоотношений с окружающим миром. Можно выделить по меньшей… … Социология: Энциклопедия
Немецкий язык — Запрос «немецкий» перенаправляется сюда; см. также другие значения. Немецкий язык Самоназвание: Deutsch, deutsche Sprache Страны … Википедия
Логика второго порядка — в математической логике формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… … Википедия
Ингушский язык — язык, на к ром говорят ингуши «ghalghaj (по переписи 1926 численностью 72 043 души), принадлежит к так наз. чеченской группе яз., относимых, в свою очередь, вместе с дагестанскими к восточно кавказской яфетической (см.) системе яз. с… … Литературная энциклопедия
Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P … Википедия
Контролируемый язык — (упрощённый естественный язык, англ. controlled natural language, CNL) ограниченная версия естественного языка, созданная для выполнения определённых задач. Контролируемый язык это подвид естественного языка, полученный… … Википедия
Персидский язык и литература — Язык. Под именем П. языка понимается целая группа наречий Персии, образующих одну из ветвей так называемой иранской семьи языков. В древнейшей Персии было несколько наречий, но нам известны только два: авестическое (иначе зендское, см.) и… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Россия. Русский язык и Русская литература: История русской литературы — История русской литературы для удобства обозрения основных явлений ее развития может быть разделена на три периода: I от первых памятников до татарского ига; II до конца XVII века; III до нашего времени. В действительности эти периоды резко не… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Русский язык на Украине — (укр. Російська мова в Україні) один из двух наиболее распространённых языков общения населения Украины. В ходе Всеукраинской переписи населения 2001 года родным русский язык назвали 29,6% участников, в том числе 14,8% украинцев[1][2][3] .… … Википедия
Эрзянский язык — Самоназвание: Эрзянь кель Страны: Россия. Также говорящие на эрзянском языке прожива … Википедия